(DEFUN DTAK00 (M N) (COND ((NOT (LESSP 0. M)) 0.) ((LESSP 1. N) (PLUS M (QUOTIENT (TIMES N (SUB1 N)) 2.) -1.)) ((LESSP -1. N) M) ((EQUAL N -1.) (PLUS (QUOTIENT (TIMES (ADD1 M) (PLUS M 2.)) 2.) -1.)) (T (PLUS (QUOTIENT (TIMES (DIFFERENCE M N) (ADD1 (DIFFERENCE M N))) 2.) (MINUS M) -1.)))) (SETQ BASE (SETQ IBASE 10.))